<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
 <head>
  <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  <title>Float 浮点型</title>
</head>
<div id="layout">
  <div id="layout-content"><div id="language.types.float" class="sect1">
 <h2 class="title">Float 浮点型</h2>

 <p class="para">
  浮点型（也叫浮点数 float，双精度数 double 或实数 real）可以用以下任一语法定义：
 </p>

 <div class="informalexample">
  <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000">
<span style="color: #0000BB">&lt;?php<br />$a&nbsp;</span><span style="color: #007700">=&nbsp;</span><span style="color: #0000BB">1.234</span><span style="color: #007700">;&nbsp;<br /></span><span style="color: #0000BB">$b&nbsp;</span><span style="color: #007700">=&nbsp;</span><span style="color: #0000BB">1.2e3</span><span style="color: #007700">;&nbsp;<br /></span><span style="color: #0000BB">$c&nbsp;</span><span style="color: #007700">=&nbsp;</span><span style="color: #0000BB">7E-10</span><span style="color: #007700">;<br /></span><span style="color: #0000BB">?&gt;</span>
</span>
</code></div>
  </div>

 </div>

 <p class="para">
  浮点数的形式表示：
 </p>

 <div class="informalexample">
  <div class="example-contents">
<div class="cdata"><pre>
LNUM          [0-9]+
DNUM          ([0-9]*[\.]{LNUM}) | ({LNUM}[\.][0-9]*)
EXPONENT_DNUM [+-]?(({LNUM} | {DNUM}) [eE][+-]? {LNUM})
</pre></div>
  </div>

 </div>

 <p class="para">
  浮点数的字长和平台相关，尽管通常最大值是 1.8e308 并具有 14 位十进制数字的精度（64
  位 IEEE 格式）。
 </p>

 <div class="warning"><strong class="warning">Warning</strong>
  <h1 class="title">浮点数的精度</h1>

  <p class="para">
   浮点数的精度有限。尽管取决于系统，PHP 通常使用 IEEE 754
   双精度格式，则由于取整而导致的最大相对误差为
   1.11e-16。非基本数学运算可能会给出更大误差，并且要考虑到进行复合运算时的误差传递。
  </p>
  <p class="para">
   此外，以十进制能够精确表示的有理数如 <em>0.1</em> 或
   <em>0.7</em>，无论有多少尾数都不能被内部所使用的二进制精确表示，因此不能在不丢失一点点精度的情况下转换为二进制的格式。这就会造成混乱的结果：例如，<em>floor((0.1+0.7)*10)</em>
   通常会返回 <em>7</em> 而不是预期中的
   <em>8</em>，因为该结果内部的表示其实是类似
   <em>7.9999999999999991118...</em>。
  </p>

  <p class="para">
   所以永远不要相信浮点数结果精确到了最后一位，也永远不要比较两个浮点数是否相等。如果确实需要更高的精度，应该使用<a href="ref.bc.html" class="link">任意精度数学函数</a>或者 <a href="ref.gmp.html" class="link">gmp 函数</a>。
  </p>
  <p class="para">
   参见<a href="http://floating-point-gui.de/" class="link external">&raquo;&nbsp;浮点数指南</a>网页的简单解释。
  </p>
 </div>

 <div class="sect2" id="language.types.float.casting">
  <h3 class="title">转换为浮点数</h3>
  
  <p class="para">
   如果希望了解有关何时和如何将字符串转换成浮点数的信息，请参阅“<a href="language.types.string.html#language.types.string.conversion" class="link">字符串转换为数值</a>”一节。对于其它类型的值，其情况类似于先将值转换成整型，然后再转换成浮点。请参阅“<a href="language.types.integer.html#language.types.integer.casting" class="link">转换为整型</a>”一节以获取更多信息。自
   PHP 5 起，如果试图将对象转换为浮点数，会发出一条 E_NOTICE 错误消息。
  </p>

 </div>
 <div class="sect2" id="language.types.float.comparison">
  <h3 class="title">比较浮点数</h3>

  <p class="para">
   如上述警告信息所言，由于内部表达方式的原因，比较两个浮点数是否相等是有问题的。不过还是有迂回的方法来比较浮点数值的。
  </p>

  <p class="para">
   要测试浮点数是否相等，要使用一个仅比该数值大一丁点的最小误差值。该值也被称为机器极小值（epsilon）或最小单元取整数，是计算中所能接受的最小的差别值。
  </p>
  
  <div class="informalexample">
   <p class="simpara">
    <var class="varname"><var class="varname">$a</var></var> 和 <var class="varname"><var class="varname">$b</var></var> 在小数点后五位精度内都是相等的。
   </p>
   <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000">
<span style="color: #0000BB">&lt;?php<br />$a&nbsp;</span><span style="color: #007700">=&nbsp;</span><span style="color: #0000BB">1.23456789</span><span style="color: #007700">;<br /></span><span style="color: #0000BB">$b&nbsp;</span><span style="color: #007700">=&nbsp;</span><span style="color: #0000BB">1.23456780</span><span style="color: #007700">;<br /></span><span style="color: #0000BB">$epsilon&nbsp;</span><span style="color: #007700">=&nbsp;</span><span style="color: #0000BB">0.00001</span><span style="color: #007700">;<br /><br />if(</span><span style="color: #0000BB">abs</span><span style="color: #007700">(</span><span style="color: #0000BB">$a</span><span style="color: #007700">-</span><span style="color: #0000BB">$b</span><span style="color: #007700">)&nbsp;&lt;&nbsp;</span><span style="color: #0000BB">$epsilon</span><span style="color: #007700">)&nbsp;{<br />&nbsp;&nbsp;&nbsp;&nbsp;echo&nbsp;</span><span style="color: #DD0000">"true"</span><span style="color: #007700">;<br />}<br /></span><span style="color: #0000BB">?&gt;</span>
</span>
</code></div>
   </div>

  </div>
 </div>
 
 <div class="sect2" id="language.types.float.nan">
  <h3 class="title">NaN</h3>
  <p class="para">
   某些数学运算会产生一个由常量 <strong><code>NAN</code></strong>
   所代表的结果。此结果代表着一个在浮点数运算中未定义或不可表述的值。任何拿此值与其它任何值（除了  <strong><code>TRUE</code></strong>）进行的松散或严格比较的结果都是
   <strong><code>FALSE</code></strong>。
  </p>
  <p class="para">
   由于 <strong><code>NAN</code></strong> 代表着任何不同值，不应拿
   <strong><code>NAN</code></strong> 去和其它值进行比较，包括其自身，应该用
   <span class="function"><a href="is_nan.html" class="function">is_nan()</a></span> 来检查。
  </p>
 </div>
</div></div></div></body></html>